Tootfinder

This https://arxiv.org/abs/2402.15852 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCV_…

NaVid: Video-based VLM Plans the Next Step for Vision-and-Language Navigation
Vision-and-Language Navigation (VLN) stands as a key research problem of Embodied AI, aiming at enabling agents to navigate in unseen environments following linguistic instructions. In this field, generalization is a long-standing challenge, either to out-of-distribution scenes or from Sim to Real. In this paper, we propose NaVid, a video-based large vision language model (VLM), to mitigate such a generalization gap. NaVid makes the first endeavour to showcase the capability of VLMs to achieve …

I am working on a significant improvement to debug #Python code in #Jupyter notebooks:
It is based on the possibility to connect to a running Jupyter kernel from the command line and execute code in that context.
There, we can rerun the failing code and apply a custom excepthook to sta…

This https://arxiv.org/abs/2309.17294 has been replaced.
initial toot: https://mastoxiv.page/@arX…

Time-space dynamics of income segregation: a case study of Milan's neighbourhoods
Traditional approaches to urban income segregation focus on static residential patterns, often failing to capture the dynamic nature of social mixing at the neighborhood level. Leveraging high-resolution location-based data from mobile phones, we capture the interplay of three different income groups (high, medium, low) based on their daily routines. We propose a three-dimensional space to analyze social mixing, which is embedded in the temporal dynamics of urban activities. This framework offe…

This https://arxiv.org/abs/2402.17604 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

Equivariant ideals of polynomials
We study existence and computability of finite bases for ideals of polynomials over infinitely many variables. In our setting, variables come from a countable logical structure A, and embeddings from A to A act on polynomials by renaming variables. First, we give a sufficient and necessary condition for A to guarantee the following generalisation of Hilbert's Basis Theorem: every polynomial ideal which is equivariant, i.e. invariant under renaming of variables, is finitely generated. Second, we…

This https://arxiv.org/abs/2211.03267 has been replaced.
link: https://scholar.google.com/scholar?q=a

Prompter: Utilizing Large Language Model Prompting for a Data Efficient Embodied Instruction Following
Embodied Instruction Following (EIF) studies how autonomous mobile manipulation robots should be controlled to accomplish long-horizon tasks described by natural language instructions. While much research on EIF is conducted in simulators, the ultimate goal of the field is to deploy the agents in real life. This is one of the reasons why recent methods have moved away from training models end-to-end and take modular approaches, which do not need the costly expert operation data. However, as it …

Right. Now it's worked. Accounts moved.
Pretty sure the problem was that Firefish had a cached version of the remote profile from before the alias was set. You can go visit that profile's data and force a refresh, but by the time I realized that I was already rate-limited till the next day just from trying to re-set it on the remote host.
A few left behind on servers that aren't honoring MOVE actions I guess.
Did not copy following-lists, have to do that manually I guess.
Old server is now empty except for the admin account. I'll have it close down in a few days.
Then rebuild it! Stronger than before!

This https://arxiv.org/abs/2211.03859 has been replaced.
link: https://scholar.google.com/scholar?q=a

From approximate to exact integer programming
Approximate integer programming is the following: For a convex body $K \subseteq \mathbb{R}^n$, either determine whether $K \cap \mathbb{Z}^n$ is empty, or find an integer point in the convex body scaled by $2$ from its center of gravity $c$. Approximate integer programming can be solved in time $2^{O(n)}$ while the fastest known methods for exact integer programming run in time $2^{O(n)} \cdot n^n$. So far, there are no efficient methods for integer programming known that are based on approxim…

This https://arxiv.org/abs/2310.11367 has been replaced.
link: https://scholar.google.com/scholar?q=a

Towards the Characterization of Terminal Cut Functions: a Condition for Laminar Families
We study the following characterization problem. Given a set $T$ of terminals and a $(2^{|T|}-2)$-dimensional vector $π$ whose coordinates are indexed by proper subsets of $T$, is there a graph $G$ that contains $T$, such that for all subsets $\emptyset\subsetneq S\subsetneq T$, $π_S$ equals the value of the min-cut in $G$ separating $S$ from $T\setminus S$? The only known necessary conditions are submodularity and a special class of linear inequalities given by Chaudhuri, Subrahman…

This https://arxiv.org/abs/2306.11335 has been replaced.
link: https://scholar.google.com/scholar?q=a

Surfer: Progressive Reasoning with World Models for Robotic Manipulation
Considering how to make the model accurately understand and follow natural language instructions and perform actions consistent with world knowledge is a key challenge in robot manipulation. This mainly includes human fuzzy instruction reasoning and the following of physical knowledge. Therefore, the embodied intelligence agent must have the ability to model world knowledge from training data. However, most existing vision and language robot manipulation methods mainly operate in less realistic…

Preparation of Epitaxial Scandium Trifluoride Thin Films using Pulsed Laser Deposition
Amani S. Jayakody, Joseph Budnick, Jason N. Hancock, Daniela Morales, Barrett O. Wells
https://arxiv.org/abs/2403.06305

Preparation of Epitaxial Scandium Trifluoride Thin Films using Pulsed Laser Deposition
Bulk Scandium trifluoride ($\mathrm{ScF_3}$) is known for a pronounced negative thermal expansion (NTE) over a wide range of temperature, from $10~\mathrm{K}~\text{to}~ 1100~\mathrm{K}$. The structure of $\mathrm{ScF_3}$ can be described as an $\mathrm{ABX_3}$ perovskite with an empty A-site and a space group of Pm-3m. Growing thin films of $\mathrm{ScF_3}$ allows for tuning the lattice constant, the thermal expansion, and the construction of devices based upon differential thermal expansion. W…